function paginator_jump(offset) {
	var form = document.getElementById('filter');
	form.action = '/r/' + offset
	form.submit();
}
